Search results for "Geometric computing"
showing 4 items of 4 documents
Special track on Geometric Constraints and Reasoning
2008
Geometric Computing and Reasoning (GCR) aims at emphasizing recent trends in the domain of geometric constraint solving and automated, or computer aided deduction in geometry. This year sees the third edition of this technical track of SAC.
Session details: Geometric computing and reasoning (GCR)
2006
Session details: Geometric computing and reasoning
2007
Editorial message
2006
Geometric Computing and Reasoning (GCR) is a new track of SAC and it is dedicated to the recent trends in the domain of geometric constraint solving and automated, or computer aided, deduction in geometry.